3121. Unconventional models in computation : third International Conference, UMC 2002, Kobe, Japan, October 15-19, 2002 : proceedings
پدیدآورنده : Cristian S. Calude, Michael J. Dinneen, Ferdinand Peper )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Soft computing,Congresses ، Computer science
رده :
QA
76
.
L28
Vol
.
2509
3122. Unconventional models of computation, UMC'2K :
پدیدآورنده : I. Antoniou, C.S. Calude and M.J. Dinneen (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science -- Congresses.,Computer science.,Soft computing -- Congresses.
رده :
QA76
.
9
.
S63
I268
2001
3123. VLSI for artificial intelligence and neural networks
پدیدآورنده : edited by Jose G. Delgado-Frias and William R. Moore
کتابخانه: (طهران)
موضوع : Artificial intelligence - Congresses , Neural networks )Computer science( - Congresses , Integrated circuits - Very large scale integration - Congresses
رده :
Q
335
.
I575
1990
3124. Vagueness in communication :
پدیدآورنده : Rick Nouwen [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer logic, Congresses,Natural language processing (Computer science), Congresses,Vagueness (Philosophy), Congresses
رده :
QA76
.
9
.
L63
V34
2011
3125. Validation and verification of knowledge based systems :
پدیدآورنده : edited by Anca Vermesan and Frans Coenen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
V47
E358
2011
3126. Value creation in e-business management :15th Americas conference on information systems, AMCIS 2009, SIGeBIZ track, San Francisco, CA, USA, August 6-9, 2009 : selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : Congresses ، Electronic commerce,Congresses ، Mobile communication systems,Congresses ، Social networks,Congresses ، Service-oriented architecture )Computer science(
رده :
HF
5548
.
32
.
V34
2009
3127. Vector and parallel processing-VECPAR'96 : Second International Conference on Vector and parallel processing-systems and applications, Porto, Portugal, September 25-27, 1996 : Selected papers
پدیدآورنده : Jose M.L.M. Palma, Jack Dongarra, )eds.(
کتابخانه: (طهران)
موضوع : Congresses( ، Parallel processing )Electronic computers(,Congresses ، Vector processing )Computer science(
رده :
QA
76
.
L28
Vol
.
1215
3128. Vector and parallel processing VECPAR'98 : Third International Conference, Porto, Portugal, June 1998 : selected papers and invited talks
پدیدآورنده : Jose M.L.M. Palma, Jack Dongarra, Vicente Hernandez )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Vector processing )Computer science(
رده :
QA
76
.
L28
Vol
.
1573
3129. Vector and parallel processing-VECPAR 2000 : 4th International Conference, Porto, Portugal, June 21-23, 2000 : selected papers and invited talks
پدیدآورنده : Jose M.L.M. Palma, Jack Dongarra, Vicente Hernandez )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Vector processing )Computer science(
رده :
QA
76
.
L28
Vol
.
1981
3130. Vision, modeling, and visualization 2000
پدیدآورنده :
کتابخانه: المكتبة المركزية لجامعة الطب في أصفهان (أصبهان)
موضوع : Visual programming (Computer science)- Congresses,Vision- Data processing- Congresses,Visualization- Data processing- Congresses,Object-oriented programming (Computer science)- Congresses
رده :
QA76
.
65
.
I5
2000
3131. Visualization in programming : 5th Interdisciplinary Workshop in Informatics and Psychology, Schعrding, Austria, May 20-23, 1986
پدیدآورنده : P. Gorny, M.J. Tauber )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Visual programming )Computer science(
رده :
QA
76
.
L28
Vol
.
282
3132. WALCOM
پدیدآورنده : \ [edited by] M. Sohel Rahman, Etsuji Tomita.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer algorithms -- Congresses.,Algorithm Analysis and Problem Complexity.,Math Applications in Computer Science.,الگوریتم‌های کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
A43W32
2015
E-Book
,
3133. WALCOM
پدیدآورنده : Md. Saidur Rahman, Satoshi Fujita (eds.)
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Computer algorithms, Congresses,Data structures (Computer science), Congresses,Graph theory, Congresses
رده :
QA
،
76
.
9
،.
D35
,
W34
،
2010
3134. WCFLP'05 : proceedings of the ACM SIGPLAN 2005: Workshop on Curry and Functional Logic Programming, September 29, 2005, Tallinn, Estonia
پدیدآورنده : sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages,Congresses ، Functional programming )Computer science(
رده :
QA
76
.
62
.
A37
2005
3135. Web-Age Information Management
پدیدآورنده : \ Xiaokui Xiao Zhenjie Zhang (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Databases Management,پایگاه‌‌های اطلاعاتی, -- Congresses, -- کنگره‌ها, -- مدیریت,a03,a03,Computer science.,علوم کامپیوتر
رده :
QA
76
.
9
.
D3W4
2015
E-Book
,
3136. Web Information Systems Engineering – WISE 2015
پدیدآورنده : \ edited by Jianyong Wang, Wojciech Cellary, Dingding Wang, Hua Wang, Shu-Ching Chen, Tao Li, Yanchun Zhang.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer science.,Computer networks.,نرم‌افزار -- مهندسی -- کنگره‌ها ,علوم کامپیوتر,شبکه‌های رایانه ای
رده :
QA76
.
758
.
W41
2015
E-Book
,
3137. Web information systems engineering-- WISE 2010 workshops
پدیدآورنده : Dickson K.W. Chiu...[et al.] (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Business-- Data processing, Congresses,Electronic commerce, Congresses,Service-oriented architecture (Computer science), Congresses,World Wide Web, Congresses
رده :
TK5105
.
5828
.
I58
2011
3138. Web reasoning and rule systems
پدیدآورنده : Markus Krötzsch, Umberto Straccia (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses,Logic programming, Congresses,Rule-based programming, Congresses,Semantic Web, Congresses
رده :
TK5105
.
88815
.
R8
2012eb
3139. Web services and formal methods :
پدیدآورنده : Mario Bravetti, Tevfik Bultan (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Web services, Congresses.
رده :
TK5105
.
88813
.
W74
2011
3140. Web services and formal methods :
پدیدآورنده : Marco Carbone, Jean-Marc Petit (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Formal methods (Computer science),Formal methods (Computer science) -- Congresses.,Web services -- Congresses.
رده :
QA76
.
76
.
A65
M373
2012
